Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z
نویسندگان
چکیده
A Mobile Ad hoc Network is a network of mobile nodes operating in an infrastructure-less network. These nodes not have the defense rendered by firewalls in infrastructure-based networks. Trust oriented system aids to improvise this situation. So, the incorporation of trust in routing decisions yields a more secure and reliable framework for such type of networks. As if any suggested model does not achieve as projected, it is reduced quality of service. The validation before deployment of any model leads to a more stable model. A good way to confirm a model is to use formal specification and verification techniques. In the present study, with the aim to include trust component in conventional OLSR protocol of ad hoc network and also to rule out invalid actions, formal specifications of the various procedures of trusted OLSR Protocol are given using “Z” specification language. Z is a state-oriented formal specification language based on set theory and predicate logic. Z/EVES, a proof tool based on EVES and ZF set theory that supports the Z notation is used for the formal specifications.
منابع مشابه
Secure Routing Protocol: Affection on MANETs Performance
In mobile ad hoc networks, the absence ofinfrastructure and the consequent absence of authorizationfacilities impede the usual practice of establishing a practicalcriterion to distinguishing nodes as trusted and distrusted.Since all nodes in the MANETs would be used as router inmulti-hop applications, secure routing protocols have vital rulein the security of the network. So evaluating the perf...
متن کاملImproving Quality of Service Routing in Mobile Ad Hoc Networks Using OLSR
Mobile ad hoc networks (MANET) are constructed by mobile nodes without access point. Since MANET has certain constraints, including power shortages, an unstable wireless environment and node mobility, more power-efficient and reliable routing protocols are needed. The OLSR protocol is an optimization of the classical link state algorithm. OLSR introduces an interesting concept, the multipoint r...
متن کاملFormal Modeling and Verification of Trusted OLSR Protocol Using I-SPIN Model Checker
An ad hoc network is a momentary network set up by the self-managed nodes that operate and communicate randomly with or without a little support of a network infrastructure. Due to security vulnerabilities ad hoc networks are defenseless against attacks of malicious nodes as the nodes in these networks are not secured by firewalls. In order to enhance the security of conventional OLSR Protocol ...
متن کاملA New Method to Reduce Energy Consumption in Manet Network Routing based on OLSR Protocol and Genetic Algorithm
Mobile Ad Hoc Networks (MANET) can be considered as a class of unstructured networks created by a number of autonomous wireless and sensor nodes. The inherent characteristics of such networks have made specific applications, such as multimedia transfer and challenging. Basically, the functionality of a node and very few resources directly affect the delivery of packets which depends on the ...
متن کاملAn Ontological View of Trusted OLSR Protocol of Ad hoc Network
Ad hoc network infrastructure is dynamically changing, and the links are wireless with less capacity and more prone to errors. Adding trust to the existing security infrastructures would enhance the security of these environments. Describing components and their sub-components using ontologies, creates a methodology and mechanism in order to efficiently design. With a viewpoint to add trust as ...
متن کامل